Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by Annabelle McIver,Charles Carroll Morgan
ISBN 13: 9780387401157
Format: Hardcover (388 pages) Publisher: Springer Published: 05 Jan 2005
Save for later